PADL 2005 : practical aspects of declarative languages (Long Beach CA, 10-11 January 2005)Hermenegildo, Manuel; Cabeza, Daniel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24362-3, VIII, 267 p, isbn 3-540-24362-3Conference Proceedings

Declarative programming for knowledge management (16th International conference on applications of declarative programming and knowledge management, INAP 2005, Fukuoka, Japan, October 22-24, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-69233-9, 1Vol, X-228 p, isbn 3-540-69233-9Conference Proceedings

Building the world from first principles: Declarative machine descriptions and compiler constructionRAMSEY, Norman.Lecture notes in computer science. 2005, pp 1-4, issn 0302-9743, isbn 3-540-24362-3, 4 p.Conference Paper

PADL 2002 : practical aspects of declarative languages (Portland OR, 19-20 January 2002)Shriram Krishnamurthi; Ramakrishnan, C.R.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43092-X, VIII, 349 p, isbn 3-540-43092-XConference Proceedings

How to talk to your computer so that it will listenDAHL, Veronica.Lecture notes in computer science. 2002, pp 3-8, issn 0302-9743, isbn 3-540-43092-XConference Paper

The Importance of Being DeclarativeSPINELLIS, Diomidis.IEEE software. 2013, Vol 30, Num 1, pp 90-91, issn 0740-7459, 2 p.Article

PADL 2004 : practical aspects of declarative languages (Dallas TX, 18-19 June 2004)Jayaraman, Bharat.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22253-7, VIII, 254 p, isbn 3-540-22253-7Conference Proceedings

Practical aspects of declarative languages (9th international symposium, PADL 2007, Nice, France, January 14-15, 2007)Hanus, Michael.Lecture notes in computer science. 2007, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, X-334 p, isbn 978-3-540-69608-7Conference Proceedings

Practical declarative model transformation with tefkatLAWLEY, Michael; STEEL, Jim.Lecture notes in computer science. 2006, pp 139-150, issn 0302-9743, isbn 3-540-31780-5, 1Vol, 12 p.Conference Paper

Declarative agent languages and technologies IV (4th International workshop, DALT 2006, Hakodate, Japan, May 8, 2006)Baldoni, Matteo; Endriss, Ulle.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-68959-1, 1Vol, VIII-256 p, isbn 3-540-68959-1Conference Proceedings

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualizationBAILEY, James; STUCKEY, Peter J.Lecture notes in computer science. 2005, pp 174-186, issn 0302-9743, isbn 3-540-24362-3, 13 p.Conference Paper

Lmntal as a unifying declarative language : Live demonstrationUEDA, Kazunori; KATO, Norio; HARA, Koji et al.Lecture notes in computer science. 2006, pp 457-458, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

DALT 2003 : declarative agent languages and technologies (Melbourne, 15 July 2003, revised selected and invited papers)Leite, Joao; Omicini, Andrea; Sterling, Leon et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22124-7, XII, 279 p, isbn 3-540-22124-7Conference Proceedings

Union and intersection of filtering functions for information filteringSAWAI, Rie; TSUKAMOTO, Masahiko; TERADA, Tsutomu et al.Lecture notes in computer science. 2004, pp 738-749, issn 0302-9743, isbn 3-540-21047-4, 12 p.Conference Paper

Contribution à l'étude des architectures d'ordinateurs parallèles : structures de la machine N-ARCH et émulation sur un réseau de transputersNiar, Smaïl; Toursel, Bernard.1989, 182 p.Thesis

Declarative agent languages and technologies III (Third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33106-9, 1Vol, XII-244 p, isbn 3-540-33106-9Conference Proceedings

Type class directivesHEEREN, Bastiaan; HAGE, Jurriaan.Lecture notes in computer science. 2005, pp 253-267, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Quickcheck testing for fun and profitHUGHES, John.Lecture notes in computer science. 2007, pp 1-32, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 32 p.Conference Paper

Introduction to subject area chartsDAMM, Werner; WESTPHAL, Bernd.Integration of software specification techniques for applications in engineering (Priority program SoftSpez of the German Research Foundation (DFG) : final report ). Lecture notes in computer science. 2004, pp 322-324, issn 0302-9743, isbn 3-540-23135-8, 3 p.Book Chapter

Pruning in the extended Andorra modelLOPES, Ricardo; COSTA, Vitor Santos; SILVA, Fernando et al.Lecture notes in computer science. 2004, pp 120-134, issn 0302-9743, isbn 3-540-22253-7, 15 p.Conference Paper

On improving the efficiency and robustness of table storage mechanisms for tabled evaluationROCHA, Ricardo.Lecture notes in computer science. 2007, pp 155-169, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 15 p.Conference Paper

Inductive logic programming : Yet another application of logicYAMAMOTO, Akihiro.Lecture notes in computer science. 2006, pp 102-116, issn 0302-9743, isbn 3-540-69233-9, 1Vol, 15 p.Conference Paper

Safe programming with pointers through statefui viewsZHU, Dengping; XI, Hongwei.Lecture notes in computer science. 2005, pp 83-97, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Coo-BDI: Extending the BDI model with cooperativityANCONA, Davide; MASCARDI, Viviana.Lecture notes in computer science. 2004, pp 109-134, issn 0302-9743, isbn 3-540-22124-7, 26 p.Conference Paper

Exploiting efficient control and data structures in logic programsRONG YANG; GREGORY, Steve.Lecture notes in computer science. 2002, pp 318-331, issn 0302-9743, isbn 3-540-43092-XConference Paper